Correction: Calcagni, G. Taming the Beast: Diffusion Method in Nonlocal Gravity. Universe 2018, 4, 95

Taming the Beast Within

Taming the Metadata Beast: ILOX

We propose a framework for organizing multiple metadata specifications in a container that can be handled as a whole. This framework, named Information for Learning Object eXchange (ILOX), is developed as part of the IMS Learning Object Discovery & Exchange (LODE) specification that aims to facilitate the discovery and retrieval of learning objects stored across more than one collection. While ...

Taming the Static Analysis Beast

While industrial-strength static analysis over large, real-world codebases has become commonplace, so too have difficult-to-analyze language constructs, large libraries, and popular frameworks. These features make constructing and evaluating a novel, sound analysis painful, errorprone, and tedious. We motivate the need for research to address these issues by highlighting some of the many challe...

Nonlocal Quantum Gravity and the Size of the Universe ∗

Motivated by the conjecture that the cosmological constant problem is solved by strong quantum effects in the infrared we use the exact flow equation of Quantum Einstein Gravity to determine the renormalization group behavior of a class of nonlocal effective actions. They consist of the Einstein-Hilbert term and a general nonlinear function Fk(V ) of the Euclidean spacetime volume V . For the V...

Easier SystemVerilog with UVM: Taming the Beast

SystemVerilog has been widely adopted as a language for hardware design and verification. At the same time, SystemVerilog is a very large and complex language which can be daunting to learn and use, and differences still remain between implementations. SystemVerilog adoption has been given a new impetus in recent years with the introduction of UVM, the Universal Verification Methodology for Sys...